$\forall$$A$:Type, ${\it eq}$,$P$:top. fpf{-}all($A$; ${\it eq}$; fpf{-}empty; $y$,$w$.$P$($y$,$w$)) $\Leftarrow\!\Rightarrow$ True